Nuprl Definition : decl-type 0,22
DeclaredType(ds;x) == ds(x)?Void 
latex

clarification:

decl-type{i:l}(ds; x) == fpf-cap(ds;IdDeq;x;Void) 
latex

Definitionsf(x)?z, IdDeq, Void
FDL editor aliasesdecl-type

origin